Natural language programming - PDFSEARCH.IO - Document Search Engine

Natural language programming
Results: 221

#	Item
81	The λΠ-calculus Modulo as a Universal Proof Language Mathieu Boespflug1 , Quentin Carbonneaux2 and Olivier Hermant3 1 2 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-07-25 10:49:31 Mathematics Lambda calculus Dependently typed programming Logic in computer science Proof theory Natural deduction Curry–Howard correspondence Calculus of constructions Type system Type theory Programming language theory Theoretical computer science
82	Tell Me Dave: Context-Sensitive Grounding of Natural Language to Manipulation Instructions Dipendra K Misra, Jaeyong Sung, Kevin Lee and Ashutosh Saxena. Computer Science Department, Cornell University (USA). Email conta Add to Reading List Source URL: tellmedave.com Language: English - Date: 2014-10-03 05:45:49 Algorithm Subroutine Complement Computer programming Computing Computer
83	Programmatic Semantics for Natural Language Interfaces Add to Reading List Source URL: larifari.org Language: English - Date: 2014-02-14 14:48:52 Cross-platform software Programming paradigms METAFOR Programming language Actor model Object-oriented programming Python C This Software engineering Computing Computer programming
84	Papers MayC H r 9 5 M O S A I C OF CREATIVITY Dynamic Generation of Follow up Question Menus: Facilitating Interactive Natural Language Dialogues Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-01-16 12:20:36 Four-square cipher Obfuscated code Computer programming Computing Linguistics
85	DEXTOR: Reduced Effort Authoring for Template-Based Natural Language Generation Karthik S. Narayan1 , Charles L. Isbell1 , David L. Roberts2 Georgia Institute of Technology1 , North Carolina State University2 {karthik.na Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2015-03-28 21:02:36 Computer programming Generic programming Scripting languages Meta-programming Template Pan Natural language generation Software engineering Computing C++
86	Statistical Machine Translation using Ordinal Regression and Beam Search Decoder Ankit Patel Shruthi Narayan Manekta Bedi Srikanth Muralidharan Add to Reading List Source URL: www.sfu.ca Language: English - Date: 2015-03-05 20:09:52 Evaluation of machine translation Neural networks Machine translation Statistical machine translation Statistical natural language processing Perceptron BLEU Algorithm Dynamic programming Mathematics Statistics Applied mathematics
87	An Introduction to Program Verification with the Coq Proof Assistant NII Lectures Series Fr´ed´eric Loulergue Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-11-04 20:56:12 Mathematical logic Proof theory Dependently typed programming Lambda calculus Logic in computer science Coq Curry–Howard correspondence Natural deduction Dependent type Programming language theory Type theory Mathematics
88	Natural Language Programming Using Class Sequential Rules Cohan Sujay Carlos Aiaioo Labs Bangalore, India Add to Reading List Source URL: www.aiaioo.com Language: English - Date: 2012-04-15 08:35:59 Computational linguistics Functional languages Compiler construction Artificial intelligence Notation Programming language Parsing Natural language processing Semantics Computing Software engineering Computer programming
89	11th International Society for Music Information Retrieval Conference (ISMIRPREDICTING DEVELOPMENT OF RESEARCH IN MUSIC BASED ON PARALLELS WITH NATURAL LANGUAGE PROCESSING Jacek Wołkowicz Dalhousie University Add to Reading List Source URL: ismir2010.ismir.net Language: English - Date: 2014-01-23 13:05:09 Speech recognition Linguistics Artificial intelligence Neuro-linguistic programming Sentiment analysis Automatic summarization Generative theory of tonal music Computer music Meta-programs Computational linguistics Natural language processing Science
90	Genetic Programming as a Means for Programming Computers by Natural Selection Revised September 17, 1993 for Statistics and Computing journal. Genetic Programming as a Means for Programming Computers by Natural Selection Add to Reading List Source URL: www.genetic-programming.com Language: English - Date: 2006-11-17 21:18:32 Mathematical optimization Evolutionary algorithms Evolutionary biology Mathematics Cybernetics Genetic programming John Koza Crossover Programming language Genetic algorithms Science Applied mathematics